for file in  ./Testclafer2alloy.hs ./Skelclafer2alloy.hs ./Parclafer2alloy.hs ./Absclafer2alloy.hs ./ErrM.hs ./Lexclafer2alloy.hs ./Printclafer2alloy.hs ; do
  patch -i gnu.patch $file
done